javac slimepk.java
